Book CHI IPEindb

Source URL: web.stanford.edu

• Information
• Statistics
• Formal sciences
• Knowledge
• Business intelligence
• Statistical models
• Data
• Big data
• Data mining
• Data analysis
• Analytics
• Cross-validation

Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer

Source URL: www.cs.bham.ac.uk

Finite State Machine Parsing for Internet Protocols: Faster Than You Think Robert David Graham Errata Security robert david

Source URL: www.cs.dartmouth.edu

• Compiler construction
• Parsing
• Formal languages
• Lexical analysis
• LR parser

J Autism Dev Disord DOIs10803ORIGINAL PAPER Recognition of Emotions in Autism: A Formal Meta-Analysis

Source URL: www.antoniahamilton.com

First-Order Logic for the Analysis of Programs on Weak Memory Models Alexei Lisitsa Department of Computer Science University of Liverpool, Liverpool, UK

Source URL: www.ai4fm.org

• Model checking
• First-order logic
• Mathematical logic
• Logic in computer science
• Formal methods
• Theory of computation

Decision Procedures for the Formal Analysis of Software David D´eharbe1, , Pascal Fontaine2 , Silvio Ranise2,3 , and Christophe Ringeissen2 1

Source URL: www.montefiore.ulg.ac.be

Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency Ran Canetti? IBM Research Abstract. A security property of a protocol is composable if it remains

Source URL: www.cs.tau.ac.il

Analysis of a Multi-Party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space model Steve Kremer1 , Aybek Mukhamedov2 , and Eike Ritter2 1

Source URL: fc05.ifca.ai

SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript Hongki Lee Sooncheol Won

Source URL: www.cs.uwm.edu

Institut Mines-Télécom Multi-Level Formal Analysis A New Direction for Fault Injection Attack?

Source URL: www.proofs-workshop.org